When Can Finite Testing Ensure Infinite Trustworthiness?

نویسندگان

  • Nozer D‎. Singpurwalla
  • Philip Wilson
چکیده مقاله:

In this paper we contribute to the general philosophical‎ ‎question as to whether empirical testing can ever prove a physical law.‎ ‎Problems that lead to this question arise under several contexts‎, ‎and the ‎matter has been addressed by the likes of Bayes and Laplace‎. ‎After pointing‎ ‎out that a Bayesian approach is the proper way to address this problem‎, ‎we‎ ‎show that the answer depends on what we start with‎. ‎Namely‎, ‎under certain‎ ‎prior assumptions‎, ‎a finite amount of testing can lead to the conclusion of‎ ‎total trustworthiness‎, ‎though such priors could be unrealistic‎. ‎However‎, ‎we ‎do produce a new class of priors under which a finite amount of testing can‎ ‎lead to a high degree of trustworthiness‎, ‎at a relatively fast pace‎. ‎We use ‎the scenario of software testing as a way to motivate and discuss our‎ ‎development.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Can Observers Predict Trustworthiness?∗

We analyze experimental evidence on whether untrained subjects can predict how trustworthy an individual is. Two players on a TV show play a high stakes prisoner’s dilemma with pre-play communication. Our subjects report probabilistic beliefs that each player cooperates, before and after communication. Subjects correctly predict that women, and players who voluntarily promise that they will coo...

متن کامل

Supplement to " Testing Whether Jumps Have Finite or Infinite Activity

When  ≥ 2 these processes are finite-valued, but not necessarily so when   2. In this case we have to be careful: if  = inf( : () =∞) and 0 = inf( :  0() = ∞) then both processes () and  0() are null at 0 and finite-valued on [0 ) and [0 0) respectively, the first continuous and the second one càdlàg with jumps not bigger than 1, and they are infinite on (∞) and (0∞). H...

متن کامل

Testing Whether Jumps Have Finite or Infinite Activity

We propose statistical tests to discriminate between the finite and infinite activity of jumps in a semimartingale discretely observed at high frequency. The two statistics allow for a symmetric treatment of the problem: we can either take the null hypothesis to be finite activity, or infinite activity. When implemented on high-frequency stock returns, both tests point toward the presence of in...

متن کامل

On what we can ensure

The Conjunction Principle says, roughly, that if the truth of a conjunction can be brought about, then the truth of each conjunct can be brought about. The current essay argues that this principle is not valid. After a clarification of the principle, it is shown how a proper understanding of the involved notions falsify the principle. As a corollary, a recent attack on van Inwagen’s Consequence...

متن کامل

Heuristics for fault diagnosis when testing from finite state machines

When testing from Finite State Machines (FSMs), a failure observed in the Implementation Under Test (IUT) is called a symptom. A symptom could have been caused by an earlier state transfer failure. Transitions that may be used to explain the observed symptoms are called diagnosing candidates. Finding strategies to generate an optimal set of diagnosing candidates that could effectively identify ...

متن کامل

منابع من

با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ذخیره در منابع من قبلا به منابع من ذحیره شده

{@ msg_add @}


عنوان ژورنال

دوره 3  شماره None

صفحات  1- 37

تاریخ انتشار 2004-03

با دنبال کردن یک ژورنال هنگامی که شماره جدید این ژورنال منتشر می شود به شما از طریق ایمیل اطلاع داده می شود.

کلمات کلیدی

میزبانی شده توسط پلتفرم ابری doprax.com

copyright © 2015-2023